PLC-Automata: A New Class of Implementable Real-Time Automata
نویسنده
چکیده
We introduce a new class of automata which are tailored for dealing with real-time properties modelling the behaviour of Pro-grammable Logic Controllers (PLC) that are often used in practice to solve controlling problems. A semantics in an appropriate temporal logic (Duration Calculus) is given and an implementation schema is presented in a programming language for PLCs that ts the semantics. Finally, a case study shows the suitability of this approach.
منابع مشابه
MOBY/PLC - Graphical Development of PLC-Automata
Moby/plc is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). In this paper we sketch the modelling language in use and some features of Moby/plc, like several validation methods and c...
متن کاملSynthesising Controllers from Real-Time Speci cations
| We present an algorithm for synthesising real-time controllers speciied in a subset of the interval temporal logic Duration Calculus. The synthesised controllers are given in terms of PLC-Automata, which are an abstract description of programs of polling machines. PLC-Automata can be implemented directly on Programmable Logic Controllers (PLCs), a special kind of polling real-time controllers...
متن کاملA NEW SECRET SHARING SCHEME ADVERSARY FUZZY STRUCTURE BASED ON AUTOMATA
In this paper,we introduce a new verifiable multi-use multi-secretsharing scheme based on automata and one-way hash function. The scheme has theadversary fuzzy structure and satisfy the following properties:1) The dealer can change the participants and the adversary fuzzy structure without refreshing any participants' real-shadow. 2) The scheme is based on the inversion of weakly invertible fin...
متن کاملSynthesizing Controllers from Real-Time Specifications - Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
We present an algorithm for synthesizing real-time controllers specified in a subset of the interval temporal logic duration calculus. The synthesized controllers are given in terms of programmable logic controller (PLC)-automata, which are an abstract description of programs of polling machines. PLCautomata can be implemented directly on PLC’s, a special kind of polling real-time controllers t...
متن کاملOperational and Logical Semantics for Polling Real-Time Systems
PLC Automata are a class of real time automata suitable to describe the behaviour of polling real time systems PLC Automata can be compiled to source code for PLCs a hardware widely used in industry to control processes Also PLC Automata have been equipped with a logical and operational semantics using Duration Calculus DC and Timed Automata TA respectively The three main results of this paper ...
متن کامل